[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

323 308 244 230 0 39 0 0 0

N.S.

1 0.95 0.76 0.71 0.00 0.12 0.00 0.00 0.00

time (sec)

N/A 0.405 10.373 0.664 0.000 0.127 0.000 0.000 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 170 192 173 0 38 0 0 0

N.S.

1 0.97 1.10 0.99 0.00 0.22 0.00 0.00 0.00

time (sec)

N/A 0.269 10.290 0.672 0.000 0.097 0.000 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 149 169 157 0 25 0 0 0

N.S.

1 1.05 1.19 1.11 0.00 0.18 0.00 0.00 0.00

time (sec)

N/A 0.239 21.426 0.681 0.000 0.180 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 18 22 17 0 18 9

N.S.

1 1.00 1.00 0.78 0.96 0.74 0.00 0.78 0.39

time (sec)

N/A 0.163 10.020 0.619 0.300 0.267 0.000 0.302 0.150

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 268 375 202 0 9 0 0 0

N.S.

1 1.06 1.48 0.80 0.00 0.04 0.00 0.00 0.00

time (sec)

N/A 0.344 21.738 0.683 0.000 0.079 0.000 0.000 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 148 137 0 6 0 0 0

N.S.

1 1.00 1.35 1.25 0.00 0.05 0.00 0.00 0.00

time (sec)

N/A 0.210 20.117 0.609 0.000 0.077 0.000 0.000 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 29 33 0 43 0 0 0

N.S.

1 1.00 0.69 0.79 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.191 4.921 0.583 0.000 0.278 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 287 400 215 0 31 0 0 0

N.S.

1 1.02 1.42 0.76 0.00 0.11 0.00 0.00 0.00

time (sec)

N/A 0.375 10.424 0.638 0.000 0.075 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 151 171 159 0 30 0 0 0

N.S.

1 1.03 1.17 1.09 0.00 0.21 0.00 0.00 0.00

time (sec)

N/A 0.247 10.415 0.660 0.000 0.091 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 149 161 157 0 38 0 0 0

N.S.

1 1.09 1.18 1.15 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.236 21.379 0.759 0.000 0.100 0.000 0.000 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 18 17 24 0 0 17

N.S.

1 1.00 1.00 0.78 0.74 1.04 0.00 0.00 0.74

time (sec)

N/A 0.165 10.023 0.571 0.286 0.251 0.000 0.000 12.328

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 288 402 216 0 42 0 0 0

N.S.

1 1.02 1.43 0.77 0.00 0.15 0.00 0.00 0.00

time (sec)

N/A 0.364 10.418 0.741 0.000 0.076 0.000 0.000 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 149 216 157 0 37 0 0 0

N.S.

1 1.09 1.58 1.15 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.242 20.267 0.715 0.000 0.121 0.000 0.000 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 56 81 43 0 78 0 0 0

N.S.

1 0.85 1.23 0.65 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.195 11.231 0.666 0.000 0.345 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 308 409 228 0 47 0 0 0

N.S.

1 0.97 1.29 0.72 0.00 0.15 0.00 0.00 0.00

time (sec)

N/A 0.391 10.489 0.750 0.000 0.119 0.000 0.000 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 172 170 169 0 48 0 0 0

N.S.

1 1.01 1.00 0.99 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.271 10.258 0.675 0.000 0.102 0.000 0.000 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 168 178 167 0 56 0 0 0

N.S.

1 1.00 1.06 0.99 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.260 21.354 0.722 0.000 0.081 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 18 24 29 0 0 82

N.S.

1 1.00 1.00 0.78 1.04 1.26 0.00 0.00 3.57

time (sec)

N/A 0.169 10.037 0.664 0.290 0.263 0.000 0.000 12.444

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

318 309 409 228 0 61 0 0 0

N.S.

1 0.97 1.29 0.72 0.00 0.19 0.00 0.00 0.00

time (sec)

N/A 0.418 10.484 0.855 0.000 0.078 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 168 178 167 0 56 0 0 0

N.S.

1 1.00 1.06 0.99 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.255 20.335 0.731 0.000 0.078 0.000 0.000 0.000

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 69 95 60 0 101 0 0 0

N.S.

1 0.72 0.99 0.62 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.201 10.095 0.700 0.000 0.261 0.000 0.000 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

349 329 414 240 0 62 0 0 0

N.S.

1 0.94 1.19 0.69 0.00 0.18 0.00 0.00 0.00

time (sec)

N/A 0.427 10.542 0.710 0.000 0.082 0.000 0.000 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 193 183 179 0 63 0 0 0

N.S.

1 0.95 0.90 0.88 0.00 0.31 0.00 0.00 0.00

time (sec)

N/A 0.292 10.426 0.681 0.000 0.080 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 102 78 68 75 134 88 71 84

N.S.

1 1.05 0.80 0.70 0.77 1.38 0.91 0.73 0.87

time (sec)

N/A 0.269 0.039 0.763 0.278 0.290 0.108 0.269 0.129

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

490 498 627 594 0 5507 0 1200 13879

N.S.

1 1.02 1.28 1.21 0.00 11.24 0.00 2.45 28.32

time (sec)

N/A 7.953 1.957 0.826 0.000 0.987 0.000 0.379 14.523

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

326 404 465 504 0 4245 0 1074 11143

N.S.

1 1.24 1.43 1.55 0.00 13.02 0.00 3.29 34.18

time (sec)

N/A 4.161 1.368 0.740 0.000 0.947 0.000 0.376 14.182

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 321 375 425 0 2966 0 897 8171

N.S.

1 1.02 1.19 1.34 0.00 9.39 0.00 2.84 25.86

time (sec)

N/A 2.018 0.987 0.674 0.000 0.498 0.000 0.365 13.250

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 293 341 326 0 1721 0 758 5664

N.S.

1 1.02 1.19 1.14 0.00 6.00 0.00 2.64 19.74

time (sec)

N/A 1.068 0.949 0.684 0.000 0.404 0.000 0.344 13.175

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 233 252 222 0 715 0 445 709

N.S.

1 1.18 1.27 1.12 0.00 3.61 0.00 2.25 3.58

time (sec)

N/A 0.370 0.100 0.553 0.000 0.517 0.000 0.317 12.289

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 283 266 291 0 2446 0 719 10894

N.S.

1 1.03 0.97 1.06 0.00 8.89 0.00 2.61 39.61

time (sec)

N/A 0.892 0.796 0.578 0.000 0.538 0.000 0.319 16.579

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

368 371 337 373 0 4860 0 776 19887

N.S.

1 1.01 0.92 1.01 0.00 13.21 0.00 2.11 54.04

time (sec)

N/A 2.404 1.231 0.646 0.000 6.027 0.000 0.343 16.142

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

531 550 433 489 0 7425 0 1043 33838

N.S.

1 1.04 0.82 0.92 0.00 13.98 0.00 1.96 63.73

time (sec)

N/A 2.073 1.966 0.719 0.000 104.003 0.000 0.361 17.846

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

650 659 901 762 0 14340 0 1612 31485

N.S.

1 1.01 1.39 1.17 0.00 22.06 0.00 2.48 48.44

time (sec)

N/A 2.191 3.094 0.904 0.000 17.368 0.000 0.404 16.934

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

581 589 755 680 0 11459 0 1397 25497

N.S.

1 1.01 1.30 1.17 0.00 19.72 0.00 2.40 43.88

time (sec)

N/A 8.091 2.509 0.829 0.000 7.340 0.000 0.402 16.511

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

441 447 537 542 0 8530 0 1195 19465

N.S.

1 1.01 1.22 1.23 0.00 19.34 0.00 2.71 44.14

time (sec)

N/A 1.571 1.717 0.736 0.000 3.548 0.000 0.372 14.904

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

453 386 493 473 0 5572 0 986 13841

N.S.

1 0.85 1.09 1.04 0.00 12.30 0.00 2.18 30.55

time (sec)

N/A 0.882 1.753 0.704 0.000 1.653 0.000 0.362 13.800

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 300 364 344 0 2770 0 797 8334

N.S.

1 0.93 1.13 1.07 0.00 8.60 0.00 2.48 25.88

time (sec)

N/A 0.598 0.275 0.638 0.000 1.111 0.000 0.331 13.556

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

340 348 371 370 0 5167 0 833 20897

N.S.

1 1.02 1.09 1.09 0.00 15.20 0.00 2.45 61.46

time (sec)

N/A 1.095 1.304 0.628 0.000 4.767 0.000 0.333 18.016

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

403 417 416 409 0 8653 0 890 29890

N.S.

1 1.03 1.03 1.01 0.00 21.47 0.00 2.21 74.17

time (sec)

N/A 1.752 1.587 0.740 0.000 24.310 0.000 0.359 17.202

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

607 626 560 560 0 14417 0 1129 44649

N.S.

1 1.03 0.92 0.92 0.00 23.75 0.00 1.86 73.56

time (sec)

N/A 2.464 2.736 0.913 0.000 213.706 0.000 0.383 18.134

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

201 201 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.501 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

290 290 320 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.705 0.903 0.000 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

237 237 289 0 0 0 0 0 0

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.483 0.403 0.000 0.000 0.000 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

198 198 183 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.371 0.207 0.000 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

191 191 163 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.397 0.183 0.000 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

242 242 207 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.493 0.349 0.000 0.000 0.000 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

296 296 246 0 0 0 0 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.574 0.403 0.000 0.000 0.000 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 134 155 175 176 150 190 351

N.S.

1 1.00 0.95 1.10 1.24 1.25 1.06 1.35 2.49

time (sec)

N/A 0.366 0.054 0.424 0.198 0.380 0.278 0.269 0.116

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 103 122 138 139 109 149 197

N.S.

1 1.00 0.94 1.12 1.27 1.28 1.00 1.37 1.81

time (sec)

N/A 0.307 0.033 0.440 0.196 0.364 0.225 0.265 12.025

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 73 88 97 98 70 105 127

N.S.

1 1.00 1.12 1.35 1.49 1.51 1.08 1.62 1.95

time (sec)

N/A 0.229 0.024 0.422 0.223 0.568 0.187 0.275 0.075

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 43 59 63 64 46 63 65

N.S.

1 1.00 0.86 1.18 1.26 1.28 0.92 1.26 1.30

time (sec)

N/A 0.204 0.016 0.377 0.195 0.280 0.130 0.285 11.930

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 65 55 82 82 76 112 84 81

N.S.

1 1.05 0.89 1.32 1.32 1.23 1.81 1.35 1.31

time (sec)

N/A 0.233 0.019 0.402 0.199 0.286 0.286 0.269 0.162

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 82 112 113 165 182 115 109

N.S.

1 1.00 0.95 1.30 1.31 1.92 2.12 1.34 1.27

time (sec)

N/A 0.271 0.032 0.467 0.192 0.303 0.474 0.283 12.020

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 87 138 149 271 185 149 100

N.S.

1 1.00 1.00 1.59 1.71 3.11 2.13 1.71 1.15

time (sec)

N/A 0.267 0.053 0.453 0.189 0.307 0.453 0.281 0.138

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 122 177 206 400 248 186 152

N.S.

1 1.00 1.08 1.57 1.82 3.54 2.19 1.65 1.35

time (sec)

N/A 0.301 0.041 0.467 0.199 0.278 0.587 0.285 12.078

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 142 199 236 511 282 213 180

N.S.

1 1.00 1.02 1.43 1.70 3.68 2.03 1.53 1.29

time (sec)

N/A 0.321 0.056 0.471 0.196 0.296 0.680 0.300 0.154

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 218 226 259 258 328 250 273 1029

N.S.

1 1.00 1.04 1.19 1.18 1.50 1.15 1.25 4.72

time (sec)

N/A 0.491 0.081 0.433 0.187 0.295 0.510 0.334 11.989

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 185 217 218 288 199 231 565

N.S.

1 1.00 1.05 1.23 1.23 1.63 1.12 1.31 3.19

time (sec)

N/A 0.432 0.074 0.440 0.197 0.328 0.460 0.362 11.853

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 154 177 182 251 162 191 316

N.S.

1 1.00 1.05 1.21 1.25 1.72 1.11 1.31 2.16

time (sec)

N/A 0.361 0.057 0.374 0.188 0.290 0.390 0.628 0.097

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 115 133 141 206 119 148 185

N.S.

1 1.00 1.07 1.24 1.32 1.93 1.11 1.38 1.73

time (sec)

N/A 0.304 0.057 0.425 0.196 0.278 0.326 0.270 0.073

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 83 93 104 157 94 108 116

N.S.

1 1.00 1.06 1.19 1.33 2.01 1.21 1.38 1.49

time (sec)

N/A 0.263 0.040 0.431 0.190 0.270 0.279 0.278 12.071

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 46 63 69 95 61 68 72

N.S.

1 1.00 0.92 1.26 1.38 1.90 1.22 1.36 1.44

time (sec)

N/A 0.234 0.030 0.424 0.187 0.270 0.187 0.265 11.898

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 91 112 114 168 182 117 111

N.S.

1 1.00 1.06 1.30 1.33 1.95 2.12 1.36 1.29

time (sec)

N/A 0.268 0.031 0.450 0.189 0.282 0.471 0.265 11.883

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 89 85 109 111 155 156 114 115

N.S.

1 1.20 1.15 1.47 1.50 2.09 2.11 1.54 1.55

time (sec)

N/A 0.278 0.027 0.431 0.196 0.258 0.333 0.278 12.052

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 139 180 212 417 279 201 198

N.S.

1 1.00 1.15 1.49 1.75 3.45 2.31 1.66 1.64

time (sec)

N/A 0.312 0.064 0.460 0.195 0.350 0.579 0.288 0.151

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 171 162 197 337 241 227 148

N.S.

1 1.00 1.17 1.11 1.35 2.31 1.65 1.55 1.01

time (sec)

N/A 0.352 0.064 0.458 0.195 0.366 0.628 0.273 12.059

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 195 241 298 648 376 264 274

N.S.

1 1.00 1.10 1.35 1.67 3.64 2.11 1.48 1.54

time (sec)

N/A 0.399 0.091 0.415 0.200 0.351 0.804 0.280 11.801

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 229 278 342 693 427 308 314

N.S.

1 1.00 1.09 1.32 1.63 3.30 2.03 1.47 1.50

time (sec)

N/A 0.463 0.118 0.477 0.216 0.344 0.935 0.294 0.236

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 193 216 227 336 219 226 375

N.S.

1 1.00 1.08 1.21 1.27 1.88 1.22 1.26 2.09

time (sec)

N/A 0.426 0.063 0.428 0.198 0.624 0.689 0.277 0.145

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 157 174 188 294 178 185 240

N.S.

1 1.00 1.05 1.17 1.26 1.97 1.19 1.24 1.61

time (sec)

N/A 0.389 0.056 0.441 0.190 0.355 0.599 0.274 0.111

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 118 133 149 241 151 143 161

N.S.

1 1.00 1.00 1.13 1.26 2.04 1.28 1.21 1.36

time (sec)

N/A 0.323 0.057 0.424 0.195 0.362 0.530 0.268 11.943

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 93 96 105 159 102 94 107

N.S.

1 1.00 1.15 1.19 1.30 1.96 1.26 1.16 1.32

time (sec)

N/A 0.273 0.026 0.427 0.184 0.320 0.417 0.271 11.744

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 49 69 81 100 83 72 80

N.S.

1 1.00 0.80 1.13 1.33 1.64 1.36 1.18 1.31

time (sec)

N/A 0.223 0.018 0.460 0.189 0.264 0.252 0.290 0.073

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 90 152 150 271 185 143 103

N.S.

1 1.00 1.02 1.73 1.70 3.08 2.10 1.62 1.17

time (sec)

N/A 0.269 0.053 0.414 0.199 0.272 0.456 0.270 0.140

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 140 183 211 417 277 200 198

N.S.

1 1.00 1.15 1.50 1.73 3.42 2.27 1.64 1.62

time (sec)

N/A 0.316 0.065 0.440 0.194 0.289 0.578 0.270 11.811

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 158 110 135 152 252 144 146 114

N.S.

1 1.24 0.87 1.06 1.20 1.98 1.13 1.15 0.90

time (sec)

N/A 0.383 0.030 0.430 0.190 0.274 0.454 0.276 0.107

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 197 245 308 662 321 277 249

N.S.

1 1.00 1.05 1.30 1.64 3.52 1.71 1.47 1.32

time (sec)

N/A 0.407 0.097 0.467 0.192 0.309 0.822 0.279 11.801

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 235 244 286 359 793 372 335 296

N.S.

1 1.00 1.04 1.22 1.53 3.37 1.58 1.43 1.26

time (sec)

N/A 0.481 0.107 0.494 0.204 0.353 0.926 0.269 11.944

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 298 301 604 1603 807 0 969 0

N.S.

1 1.11 1.12 2.25 5.96 3.00 0.00 3.60 0.00

time (sec)

N/A 1.446 3.378 1.138 0.290 0.329 0.000 0.315 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 236 240 481 1190 624 0 757 0

N.S.

1 1.10 1.12 2.24 5.53 2.90 0.00 3.52 0.00

time (sec)

N/A 1.026 1.131 0.895 0.287 0.402 0.000 0.306 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 202 157 688 903 454 0 560 0

N.S.

1 1.10 0.86 3.76 4.93 2.48 0.00 3.06 0.00

time (sec)

N/A 0.656 0.895 0.647 0.280 0.334 0.000 0.305 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 156 105 126 583 279 0 370 125

N.S.

1 1.08 0.72 0.87 4.02 1.92 0.00 2.55 0.86

time (sec)

N/A 0.331 0.562 0.641 0.193 0.311 0.000 0.304 12.125

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 113 77 80 373 183 0 276 79

N.S.

1 0.97 0.66 0.68 3.19 1.56 0.00 2.36 0.68

time (sec)

N/A 0.224 0.475 0.551 0.198 0.316 0.000 0.306 12.721

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 111 53 50 101 106 0 165 49

N.S.

1 1.08 0.51 0.49 0.98 1.03 0.00 1.60 0.48

time (sec)

N/A 0.230 0.010 0.441 0.199 0.299 0.000 0.294 12.659

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 324 225 1667 0 1767 0 642 0

N.S.

1 1.34 0.93 6.89 0.00 7.30 0.00 2.65 0.00

time (sec)

N/A 0.603 10.298 0.520 0.000 0.374 0.000 0.306 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

311 328 341 3289 0 3305 0 0 0

N.S.

1 1.05 1.10 10.58 0.00 10.63 0.00 0.00 0.00

time (sec)

N/A 1.527 10.429 0.525 0.000 0.753 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

398 438 387 6396 0 5361 0 1401 0

N.S.

1 1.10 0.97 16.07 0.00 13.47 0.00 3.52 0.00

time (sec)

N/A 3.005 10.993 0.484 0.000 2.536 0.000 0.430 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 113 118 111 0 499 155 101 124

N.S.

1 1.01 1.05 0.99 0.00 4.46 1.38 0.90 1.11

time (sec)

N/A 0.345 0.224 0.473 0.000 0.295 5.872 0.295 0.252

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 240 282 243 326 324 502 380 222

N.S.

1 1.00 1.18 1.01 1.36 1.35 2.09 1.58 0.92

time (sec)

N/A 0.424 0.176 0.460 0.182 0.287 0.998 0.282 0.127

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 177 155 197 197 311 243 159

N.S.

1 1.00 1.01 0.89 1.13 1.13 1.78 1.39 0.91

time (sec)

N/A 0.348 0.114 0.451 0.187 0.281 0.857 0.278 12.185

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 94 79 104 100 165 132 100

N.S.

1 1.00 0.83 0.70 0.92 0.88 1.46 1.17 0.88

time (sec)

N/A 0.280 0.065 0.424 0.192 0.268 0.717 0.276 0.076

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 44 40 53 40 70 53 44

N.S.

1 1.00 0.72 0.66 0.87 0.66 1.15 0.87 0.72

time (sec)

N/A 0.201 0.033 0.402 0.184 0.277 0.352 0.281 11.828

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 106 92 82 0 297 143 109 107

N.S.

1 1.02 0.88 0.79 0.00 2.86 1.38 1.05 1.03

time (sec)

N/A 0.293 0.194 0.684 0.000 0.290 1.789 0.268 0.112

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 164 133 138 0 539 0 151 128

N.S.

1 1.34 1.09 1.13 0.00 4.42 0.00 1.24 1.05

time (sec)

N/A 0.338 0.388 0.475 0.000 0.297 0.000 0.279 11.969

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 221 166 166 0 896 0 285 224

N.S.

1 1.24 0.93 0.93 0.00 5.03 0.00 1.60 1.26

time (sec)

N/A 0.394 0.636 0.500 0.000 0.297 0.000 0.284 12.013

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 238 278 247 334 333 420 465 292

N.S.

1 1.00 1.17 1.04 1.40 1.40 1.76 1.95 1.23

time (sec)

N/A 0.404 0.196 0.478 0.196 0.283 11.707 0.278 0.091

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 177 154 205 206 264 277 199

N.S.

1 1.00 1.02 0.89 1.18 1.19 1.53 1.60 1.15

time (sec)

N/A 0.337 0.143 0.477 0.197 0.260 4.815 0.269 11.824

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 92 86 112 110 150 137 111

N.S.

1 1.00 0.83 0.77 1.01 0.99 1.35 1.23 1.00

time (sec)

N/A 0.262 0.067 0.428 0.199 0.273 1.969 0.281 0.078

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 43 39 54 49 75 56 44

N.S.

1 1.00 0.73 0.66 0.92 0.83 1.27 0.95 0.75

time (sec)

N/A 0.202 0.035 0.416 0.209 0.279 0.626 0.279 0.054

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 114 112 0 492 151 114 141

N.S.

1 1.00 1.02 1.00 0.00 4.39 1.35 1.02 1.26

time (sec)

N/A 0.321 0.302 0.477 0.000 0.282 4.858 0.282 12.195

[next] [prev] [prev-tail] [front] [up]